Formal Properties of Modularisation
نویسندگان
چکیده
Modularity of ontologies is currently an active research field, and many different notions of a module have been proposed. In this paper, we review the fundamental principles of modularity and identify formal properties that a robust notion of modularity should satisfy. We explore these properties in detail in the contexts of description logic and classical predicate logic and put them into the perspective of well-known concepts from logic and modular software specification such as interpolation, forgetting and uniform interpolation. We also discuss reasoning problems related to modularity.
منابع مشابه
A Formal Approach to Event-Based Architectures
We develop a formal approach to event-based architectures that serves two main purposes: to characterise the modularisation properties that result from the algebraic structures induced on systems by this discipline of coordination; and to further validate and extend the CommUnity approach to architectural modelling with “implicit invocation”, or “publish/subscribe” interactions. This is a first...
متن کاملA distributed design of a network recovery algorithm
The increase in design complexity emphasises the relevance of formal verification techniques for both software and hardware. Formal methods with their mathematical-based modelling can provide proofs of various properties for the designs, thus ensuring a certain degree of complexity control and enhancing the system confidence. There are numerous formal modelling and verification techniques emplo...
متن کاملCategorical Semantics of Parallel Program Design
Ð We formalise, using Category Theory, modularisation techniques for parallel and distributed systems based on the notion of superposition, showing that parallel program design obeys the "universal laws" formulated by J.Goguen for General Systems Theory, as well as other algebraic properties of modularity formulated for Specification Theory. The resulting categorical formalisation unifies the d...
متن کاملThe Concept of Modularisation of Industrial Services
The paper summarises findings from an action research project on modularisation of industrial services. Based on literature about modularisation of physical goods and literature on modularisation of services, several research gaps are highlighted and appropriate approaches discussed. Module drivers addressing modularisation benefits are transferred to services. Interdependencies among service e...
متن کاملGraph representation of hierarchical Alvis model structure
Alvis Toolkit supports the development of embedded systems. A result of the toolkit use is not only an Alvis model, but also a formal model representation in the form of a Labelled Transition System is generated in parallel. This allows a designer to make a formal verification of the developed embedded system behaviour. The modularisation concept is expressed by the hierarchical agents structur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009